$\cdot$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Ax